The problem of the development of a Marxist-Leninist theory of value, and the need for a precise and rigorously scientific definition of the subject matter to be investigated, its conceptual apparatus and individual categories, and the determination of the place of these categories in the system of scientific knowledge, are matters which present themselves in connection with a number of pressing problems now engaging the attention of many Marxist philosophers. By no means of least importance in this regard is the (...) fact that these questions occupy a very prominent place in contemporary bourgeois philosophical and sociological literature. The various bourgeois axiological theories that now exist, which include not only "value concepts" but "value approaches" , deal with a large range of social problems - political, economic, socio-psychological, ethical, esthetic, religious, and others. These problems are distorted by bourgeois ideologists in idealist fashion, while their interpretation increasingly acquires an anticommunist tone, and continues to exert a stultifying influence on millions of philosophically unsophisticated persons in capitalist countries. (shrink)

This text is a classic of Lenin - his essay explores materialism and its relation to capitalism and how Communism can get over this psychological wish for material and empirical ownership.

The parameter-free part $$\textbf{PA}_2^*$$ of $$\textbf{PA}_2$$, second order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an $$\omega$$ -model of $$\textbf{PA}_2^*+ \textbf{CA}(\Sigma ^1_2)$$, in which an example of the full Comprehension schema $$\textbf{CA}$$ fails. Using Cohen’s forcing, we also define an $$\omega$$ -model of $$\textbf{PA}_2^*$$, in which not every set has its complement, and hence the full $$\textbf{CA}$$ fails in a rather elementary way.

This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.

Le tome 2 du Traité des vertus, intitulé Les Vertus et l'Amour, est consacré à la description des " vertus ", depuis celle du commencement jusqu'à celle de la terminaison, en passant par celles de la continuation et de la conservation. Il distingue en outre deux plans tout à fait hétérogènes : celui des vertus de l'intervalle, que l'homme peut " posséder " et " garder ", mais qui, à peine acquises, tournent en mécanique vertueuse, radotage, complaisance pharisienne et hypocrisie (...) ; et les vertus de pointe que l'homme ne possède jamais, qu'il effleure seulement, d'une tangence impondérable, le temps d'une étincelle et d'une " apparition disparaissante ". Vaut-il mieux être au premier sens, un rentier de la vertu et un vertueux gredin, ou, au sens métempirique, le saint ou le héros d'un instant? L'amour résout peut-être, dans une certaine mesure, cette alternative, qui est aussi celle du bonheur et de la joie. (shrink)

It is proposed to analyze fuzzy concepts and relations between them in the frame of triplet concept modeling. Fuzzy concepts are introduced by means of the so-called fuzzification of dichotomous concepts. The cognitive and psychological aspects of concept possession are separated and studied.

. How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. It (...) is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos. (shrink)

What do we learn when we find out that an argument is logically incorrect? If logically incorrect means the same as not logically correct, which in turn means not having a valid logical form, it seems that we do not learn anything too useful—an argument which is logically incorrect can still be conclusive. Thus, it seems that it makes sense to fix a stronger interpretation of the term under which a logically incorrect argument is guaranteed to be wrong. In this (...) paper, we show that pinpointing this stronger sense is much trickier than one would expect; but eventually we reach an explication of the notion of logical incorrectness which we find non-trivial and viable. (shrink)

In one of the first genetic screens aimed at identifying induced developmental mutants, Nadine Dobrovolskaïa-Zavadskaïa, working at the Pasteur Laboratory in the 1920s, isolated and characterized a mutation affecting Brachyury, a gene that regulates tail and axial development in the mouse. Dobrovolskaïa-Zavadskaïa's analysis of Brachyury and other mutations affecting tail development were among the earliest attempts to link gene action with a tissue-specific developmental process in a vertebrate. Her analyses of genes that interacted with Brachyury led to the discovery of (...) the t-haplotype chromosome of mouse. After 70 years, Brachyury and the multiple genes with which it interacts continue to occupy a prominent focus in developmental biology research. A goal of this review is to identify the contributions that Dobrovolskaïa-Zavadskaïa made to our current thinking about Brachyury and how she helped to shape the dawn of the field of developmental genetics. BioEssays 23:365–371, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

The author examines the key philosophical problem of theodicy and freedom as it was first formulated by Fyodor Dostoevsky and later developed by Nikolai Berdyaev.

In 'A Coherence Theory of Truth and Knowledge', Donald Davidson argues that it is not possible for us to be massively mistaken in our beliefs. The argument is based on the possibility of an omniscient interpreter who uses the method of radical interpretation to attribute beliefs, since an omniscient interpreter who uses this method will attribute largely true beliefs to those he is inteipreting. In this paper we investigate some of the assumptions behind this argument, and we argue that these (...) assumptions are incompatible with Davidson's view that the object of a belief is its cause. If Davidson wants to keep his interpretationist theory of mind, he should therefore abandon that view. (shrink)

This paper analyses two definitions of contingency. Both definitions have been widely accepted and used as to identify contingent events. One of them is primarily of a philosophical character, whereas the other is more commonly used in mathematics. Evidently, these two definitions do not describe the same set of phenomena, and neither of them determines the completely intuitive notion of contingency.Namely, carefully selected examples testify that the first definition is too narrow and the second too wide. These facts have certain (...) epistemological consequences. They must, therefore, serve as a warning for using the definitions only in a restrictive and cautious way when detecting random beliefs – those we cannot identify as knowledge. (shrink)

In some systems of Legniewskian Ontology were introduced as a toolkit for Husserl's and Meinong's theory of objects. Here such consi- deration is extended to Brentano-Husserl's theory of time. So-called antidiodo- rean logics are used as the foundations of the approach undertaken.

Iznimni utjecaj tehnologije na ljudski život oduvijek je bio paradoksalan. Primjerice, tehnologija je jedan od činitelja koji pridonosi neizvjesnosti budućnosti uslijed unutarnje proturječnosti tehničkog sustava i društva. Naime, što je tehnologija moćnija to je svijet uznemireniji. Pojedini autori izražavaju mišljenje da je upravo tehnodiskurs u stvari diskurs čovječnosti i način njezina poboljšanja. Unatoč ovome, pojedini autori, humanisti prije svega, misle da se tehnologija može ispuniti tradicionalnim vrijednostima. U stvari, oni smatraju da današnja kultura ima samo djelatnu vrijednost odjeljenu od tradicije (...) koja je oblikovana tehničkim napretkom i ekonomskim potrebama. Kultura je snažna oblikovateljica ljudskoga ponašanja jer je temelj svjesnih i nesvjesnih uvjerenja. Ona je put »ispravnih« načina života. Ne ugrožava li razvoj tehnike i tehnologije taj put »ispravnih« načina života?The extraordinary influence of technology on the human life has always been a paradox. For example, one of the factors contributing to an increase of uncertainty of the future of technology is internal contradictions of the technical system and society. For instance, a vulnerability to accidents grows proportionally with the size of organizations. Similarly, the more powerful a technology is, the more it disturbs the world. Some people think that the technodiscourse is a discourse about humanity and the ways of advancing it. Some humanists, on the other hand, think that the technology can be saturated with traditional values. Today’s culture has just an operational value detached from tradition, molded by the technical progress and economic needs. Culture is a powerful shaper of human behavior because it is the foundation of conscious and unconscious beliefs. It is the way of ‘proper’ ways to live. Can we do something in that way? We think we can. (shrink)